interface{-}check($D$;$l$;${\it tg}$;$T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$T$ $\subseteq\rho$ d{-}m($D$; destination($l$)).din($l$,${\it tg}$)